81. Computational Logic - CL 2000 :
پدیدآورنده : edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer architecture.,Computer science.,Software engineering.
رده :
QA76
.
9
.
L63
E358
2000
82. Computational logic
پدیدآورنده : edited by Ulrich Berger, Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer logic.
رده :
QA76
.
9
.
L63
E358
1999
83. Computational prospects of infinity
پدیدآورنده : editors, Chitat Chong ... ]et al.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Set theory,Congresses ، Recursion theory,Congresses ، Infinite
رده :
QA
248
.
W582
2005
84. Computer Algebra :
پدیدآورنده : edited by Bruno Buchberger, George Edwin Collins, Rüdiger Loos.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Mathematics.
رده :
QA155
.
7
.
E4
E358
1982
85. Computing with foresight and industry :
پدیدآورنده : Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019
86. Constraint Solving and Language Processing
پدیدآورنده : edited by Denys Duchier, Yannick Parmentier.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer logic.,Computer science.,Information retrieval.,Mathematical logic.,Programming languages (Electronic computers).,Software engineering.
87. Continuous advances in QCD 2008 :
پدیدآورنده : editor, M. Peloso.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Quantum chromodynamics, Congresses.,Quantum chromodynamics.,TECHNOLOGY & ENGINEERING-- Power Resources-- Nuclear.
رده :
QC793
.
3
.
Q35
C64
2008eb
88. Deep learning: how the mind overrides experience
پدیدآورنده : Ohlsson, Stellan
کتابخانه: Special Library of University of Religions (Qom)
موضوع : ، Learning, Psychology of,، Cognitive learning theory,، Mind and body,، Experience
رده :
BF
318
.
O45
2011
89. Descriptive set theory /
پدیدآورنده : Yiannis N. Moschovakis.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Descriptive set theory.,Ensembles, Théorie des.,Descriptive set theory.,MATHEMATICS-- Infinity.,MATHEMATICS-- Logic.,Verzamelingen (wiskunde)
رده :
QA248
.
M66
1980eb
90. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
91. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library and Documentation Center (Semnan)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
1994
92. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Recursion theory , Fixed point theory
رده :
QA
9
.
6
.
S67
1994
93. Diagonalization and self-reference
پدیدآورنده : Smullyan, Raymond Merrill, 9191-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
94. Diagonalization & self-reference
پدیدآورنده : Smullyan, Raymond M.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Recursion theory,، Fixed point theory
رده :
QA
9
.
6
.
S67
95. Discrete mathematics /
پدیدآورنده : Seymour Lipschutz, Marc Lars Lipson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics, Outlines, syllabi, etc.,Computer science, Problems, exercises, etc.-- Mathematics.,Mathematics, Outlines, syllabi, etc.,Mathematics, Problems, exercises, etc.,Mathematics.,Computer science-- Mathematics.,Computer science.,Mathematics.
رده :
QA162
.
L767
2007
96. Discrete mathematics and its applications /
پدیدآورنده : Kenneth H. Rosen, Monmouth University, and formerly AT&T Laboratories.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science-- Mathematics.,Mathematics.,Computer science-- Mathematics.,Mathematics.
رده :
QA39
.
3
.
R67
2019
97. Discrete mathematics using a computer
پدیدآورنده : Cordelia Hall and John O'Donnell.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Diskrete Mathematik,HASKELL,Mathematics -- Data processing.
98. Discrete mathematics with proof
پدیدآورنده : Eric Gossett.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
QA39
.
3
E753
2003
99. Dynamic programming :
پدیدآورنده : John O.S. Kennedy.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Agricultural resources -- Management -- Mathematical models.,Natural resources -- Management -- Mathematical models.,Programmation dynamique.
رده :
S561
.
J646
1986
100. Economic and Financial Knowledge-Based Processing
پدیدآورنده : by Louis F. Pau, Claudio Gianotti.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Economics.,Management information systems.
رده :
HG173
.
B956
1990
